Тычинский В. З. , Матросова А. Ю. , Николаева Е. А. , Провкин В. А. , Гошин Г. Г. «Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем» // Известия вузов. Физика 2020. №12 C.114-123
Провкин В. А. , Матросова А. Ю. «Графовые представления множеств всех достижимых реакций комбинационной схемы» // Вестник ТГУ. УВТиИ 2022. №61 C.128-138
Матросова А. Ю. , Сухорученко К. А. , Савенкова М. М. , Провкин В. А. «Тестирование многовыходных комбинационных схем в условиях известных реакций на тестовые наборы» // Вестник ТГУ. УВТиИ 2024. №69 C.134-143
Останин С. А. , Гошин Г. Г. , Матросова А. Ю. «Построение аппроксимирующих схем в режиме троирования» // Известия вузов. Физика 2022. №4 C.150-159
Вы можете добавить статью